a series of annual conferences of the European Association for Theoretical Computer Science (EATCS) which frsttookplacein ...
اقرأ المزيدThe two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, ...
اقرأ المزيدThe two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 20th International Conference on Automated Deduction, CADE-20, held ...
اقرأ المزيدThese proceedingsrecordthe papers presented at the Seventh InternationalC- ference of B Users (B 2007), held in the city ...
اقرأ المزيدThis book constitutes the thoroughly refereed post-conference proceedings of the Second IFIP TC 2 Central and East Conference ...
اقرأ المزيدThis book is for anyone who wants to write good C# 2008 code—even if you have never programmed before. Beginning C# 2008 ...
اقرأ المزيدThis book is for anyone who wants to write good C# code—even if you have never programmed before. Writing good code can ...
اقرأ المزيدTeaches you tools that you can use to build efficient applications. It starts with an introduction to algorithms and big ...
اقرأ المزيدThis book is for anyone who wants to write good Visual Basic 2008 code, even if you have never programmed before. Writing ...
اقرأ المزيدThis book highlights basic paradigms of problem analysis and algorithm design in the context of core bioinformatics problems. ...
اقرأ المزيدBotnet Detection: Countering the Largest Security Threat, a contributed volume by world-class leaders in this field, is based ...
اقرأ المزيدBoundary representation is the principle solid modelling method used in modern CAD/CAM systems. There have been a long series ...
اقرأ المزيدThe book presents 33 revised full papers together with 3 invited talks, organized in topical sections on data structures, ...
اقرأ المزيدThis book provides an evolutionary conceptual framework for comparative genomics, with the ultimate objective of understanding ...
اقرأ المزيدThis book provides an evolutionary conceptual framework for comparative genomics, with the ultimate objective of understanding ...
اقرأ المزيدThis state-of-the-art survey contains the papers that were invited by the organizers after conclusion of an International ...
اقرأ المزيدThis introduction to computational geometry focuses on algorithms. Modern insights in computational geometry are used to ...
اقرأ المزيدThis book constitutes the thoroughly refereed post-conference proceedings of the Kyoto Conference on Computational Geometry ...
اقرأ المزيدThis book constitutes the refereed proceedings of the Third International Computer Science Symposium in Russia, CSR 2008, ...
اقرأ المزيد